DFTRES

Benchmark

Model:	hecs v.1 (MA)
Parameter(s)	R = False, N = 1, k = 1
Property:	Unreliability (prob-reach-time-bounded)

Invocation (default)

java -Xmx6G -XX:+UseParallelGC -jar DFTRES/DFTRES.jar -s 0 --prop Unreliability  --def R False --def N 1 --def k 1 --relErr 0.05  hecs.false-1-1.jani

Execution

Walltime:	4.673218011856079s
Return code:	0
Relative Error:	0.0006229826690936823

Log

Total time: 4.473 s.
Property Unreliability:
point estimate: 1.1006257838934536E-4,
var: 3.4884961715826646E-8,
CI: [1.0909647232871836E-4, 1.1102868444997236E-4] = 1.1006257838934536E-4 +/- 9.661060606270004E-7